E (SETQ $PRINT-BUDGET-MONTHLY nil) READ (SALARY IN DSK (PRO HE)) READ (nasa IN DSK (PRO HE)) BUDGET FIRST-YEAR (nasa1 OUT DSK (PRO HE)) BUDGET SECOND-YEAR (nasa2 OUT DSK (PRO HE))